-
1 метод доказательства
метод доказательства
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > метод доказательства
-
2 метод доказательства
1) Mathematics: method of proof, proof method, proof procedure, proof technique2) Information technology: validation procedure3) Advertising: proving method4) Makarov: validationУниверсальный русско-английский словарь > метод доказательства
-
3 метод доказательства
method of proof мат., proof method, proof procedure, proof techniqueРусско-английский научно-технический словарь Масловского > метод доказательства
-
4 метод доказательства без раскрытия секретной информации
Security: zero-knowledgeУниверсальный русско-английский словарь > метод доказательства без раскрытия секретной информации
-
5 метод доказательства является аналогичным методу, использованному
Mathematics: the proof method is analogous to the method used byУниверсальный русско-английский словарь > метод доказательства является аналогичным методу, использованному
-
6 метод
method, process, procedure, approach, technique, practice, tool, strategy• Безо всяких изменений данный метод подходит для... - The method lends itself readily to...• Более подходящим методом является... - A better technique is to...• Более прямой метод получения величины F рассматривается в главе 9. - A more direct procedure for obtaining F is considered in Chapter 9.• Более подходящим методом является определение... - A more satisfactory method is to establish...• Большинство из этих более продвинутых методов требует... - Most of these more advanced methods require...• Были предложены несколько методов. - Several techniques have been suggested.• Было довольно нелегко разработать метод для... - It was fairly difficult to develop a method for...• Было довольно сложно разработать метод для... - It was quite difficult to develop a method for...• Было легко разработать метод для... - It was easy to develop a method for...• Было относительно легко (= просто) разработать метод для... - It was relatively easy to develop a method for... (not easy on an absolute scale, but less challenging than other tasks)• Было почти невозможно разработать метод для... - It was almost impossible to develop a method for... (so hard that we nearly failed)• В альтернативном методе мы вычисляем... - In the alternative method we calculate...• В данной главе мы представим метод для... - In this chapter, we shall formulate the procedure for...• В данном приближенном методе существенно... - In this approximation procedure it is essential to...• В качестве примера применения описанного выше метода мы показываем, что... - As an example of the method described above we show that...• В недавние годы этот метод был улучшен посредством использования (чего-л). - In recent years the subject has been enriched by the use of...• В основном мы следуем методу... - In essence we follow the procedure of...• В последние годы несколько авторов отказались от этого метода. - Several authors have, in recent years, departed from this procedure.• В своих основных чертах это был метод, использовавшийся Смитом [1]. - In essence, this was the method employed by Smith [1].• В соответствии с методом, намеченным в Главе 1, мы... - In accordance with the method outlined in Chapter 1, we...• В этой главе мы даем эффективный метод... - In this chapter we give an efficient method for...• Вместо этого давайте разработаем (один) общий метод, посредством которого... - Instead, let us develop a general method whereby...• Во многих случаях необходимо обращаться за помощью к приближенным методам. - In many cases it is necessary to resort to approximate methods.• Возможно, безопасно применить метод... к... - It is probably safe to apply the method of... to...•Возможно, наилучшим методом является... - Perhaps the best approach is to...• Все вышеупомянутые методы не применимы для малых х. - The foregoing methods all fail for small x.• Второй метод вывода уравнения (1) формулируется следующим образом. - A second method of obtaining (1) is as follows.• Второй метод точно согласуется с... - The latter method agrees precisely with...• Вышеуказанным методом обнаружено (= найдено), что... - By the above method it is found that...• Геометрически метод состоит в следующем. - Geometrically, the procedure is as follows.• Главное преимущество данного метода заключается в том, что... - The chief advantage of the method is that...• Главным преимуществом данного метода является его общность. - The principal advantage of the method is its generality.• Главным преимуществом данного метода по сравнению с традиционными является то, что... - The major advantage of this procedure over the traditional method is that...• Главным преимуществом данного метода является его простота. - The principal virtue of the method is its simplicity.• Далее, в данном методе заранее предполагается, что... - Further, the method presupposes...• Данное свойство является основой одного метода нахождения... - This property provides one method of determining...• Данный метод был предложен в статье [1]. - The method was suggested by Smith, et al. [1].• Данный метод намного точнее, чем... - The present method is much more precise than...• Данный метод не применим для/в... - The method does not apply to...• Данный метод невозможно применить, когда/ если... - The method is not applicable when...• Данный метод одинаково успешно можно применять к... - The method can equally well be applied to...• Данный метод особенно подходит в случае, когда... - The method is particularly appropriate when...• Данный метод позволяет... - The method enables one to...• Данный метод позволяет исследователю... - The method allows an investigator to...• Данный метод применим к широкому классу (в широком классе)... - The method is applicable to a large class of...• Данный метод прост и довольно интересен, однако... - This method is simple and quite interesting, but...• Данный отчет описывает новый метод... - This report describes a new method of...• Данным методом можно решить ряд важных практических задач. - This method enables us to solve several problems of practical importance.• Детали этого метода можно найти в [1]. - Details of the method can be found in Smith [1].• Для... можно применить несколько методов. - Several methods are available for...• Для получения... был использован ряд методов. - A number of methods have been used to obtain...• Для преодоления этой трудности был разработан один метод. - One method has been advanced for overcoming this difficulty.• Должны быть развиты методы для измерения... - Methods should be developed for measuring...• Достоинство этого метода состоит в том, что... - The advantage of the method is that...• Другим недостатком этого метода является то, что... - The other disadvantage of this procedure is that...; Another disadvantage of this procedure is that...• Его метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Единственный доступный нам в настоящее время метод - это... - The only method available to us so far is...• Единственным известным недостатком этого метода является то, что... - The only known disadvantage of this procedure is that...• Еще одним методом является... - Still another approach is to...• Здесь рассматривается (один) общий метод получения этих решений. - A general method of obtaining these solutions is considered here.• Важность наших методов состоит в том, что они будут давать... - The significance of our methods is that they will yield...• Значительно более удобный метод состоит в том, что... - A far more convenient approach is to...• Имеются два обычно используемых метода для... - There are two commonly used methods for...• Имеются три метода решения такой задачи. - There are three ways of attacking such a problem.• Интересным альтернативным методом является следующий. - An interesting alternative procedure is as follows.• Используя данный метод, следует помнить, что... - In using this method it is well to remember that...• Используя любой подобный метод, необходимо (помнить и т. п.)... - With any method such as this it is necessary to...• Используя этот метод, они нашли, что... - Using the method, they found that...; Using the method, they learned that...; Using the method, they determined that...; Using the method, they discovered that...• Используя этот новый метод, мы можем... - By this new method it will be possible to...• Итак, мы наметим несколько методов, которые могут использоваться для того, чтобы... - We therefore outline some procedures which can be used to...• К сожалению, этот метод оказался неприменим. - Unfortunately, the method was not applicable; The method, unfortunately, was not applicable.• К счастью, имеется один простой и подходящий для этого метод. - Fortunately, there is a simple technique available for doing this.• Каков недостаток этого метода? - What is the disadvantage of this procedure?• Каковы преимущества данного метода? - What are the advantages of this procedure?• Конечно, это могло бы быть следствием неподходящих методов. - Of course, this could reflect the use of inappropriate methods.• Конечно, этот метод не всегда применим. - Of course, this method will not always work.• Коротко, мы будем интересоваться методами, которые... - In short, we will inquire into the ways in which...• Кратко опишем метод для его оценки. - A method for estimating this will be given shortly.• Метод... должен быть применен к/в... - The method of... should apply to...• Метод... мог бы быть надежно применен для... - The method of... could safely be applied to,..• Метод анализа, намеченный в предыдущем абзаце, показывает... - The method of analysis outlined in the last paragraph shows...• Метод может использоваться для оценки... - The method can be used to estimate...• Метод обладает очевидным преимуществом... - The method possesses the obvious advantage of...• Метод основывается на принципе, что... - This method is based on the principle that...• Метод перестает быть достаточно точным, если... - The method ceases to be reasonably accurate if...• Метод состоит в следующем. - The procedure is as follows.• Метод состоит из двух шагов. - The approach is in two steps.• Метод требует от пользователя обеспечить... - The method requires the user to provide...• Метод, который здесь описывается, требует... - The method to be described here involves...• Метод, который мы описали, в общем случае не подходит для... - The procedure we have described is not, in general, suitable for...• Метод, приведенный в этом параграфе, подобным образом может быть применен к... - The method of sections may be applied in a similar way to...• Метод, с помощью которой это было получено, известен как... - The technique by which this is achieved is known as...• Методы, которые мы рассмотрели, позволяют нам... - The methods we have considered enable us to...• Можно использовать множество методов. Например,... - A variety of methods may be employed, e. g.,...• Можно ожидать, что метод обеспечит нахождение по меньшей мере одного корня. - The method can be expected to provide at least one root.• Мы будем придерживаться этого метода. - We shall follow this method.• Мы ввели широкий класс методов решения... - We have introduced a wide range of procedures for solving...• Мы можем обратить метод и вывести, что... - We can reverse the process and deduce that...• Мы наметим в общих чертах метод, основанный на... - We will outline a procedure based on...• Мы откладываем обсуждение подобных методов до параграфа 5. - We defer the discussion of such methods to Section 5.• Мы принимаем полностью отличный от данного метод. - We adopt an entirely different method.• Мы проиллюстрируем данный метод для случая... - We shall illustrate the procedure for the case of...• Мы считаем, что метод... можно применять к/в... - We believe that the method of... is applicable to...• Мы увидим, что эти методы могут использоваться лишь тогда, когда... - It will be observed that these methods are only applicable when...• Мы упоминаем лишь два таких метода... - We mention only two such methods of...• На данный метод часто ссылаются как на... - This process is often referred to as...• На самом деле оба метода используются на практике. - Both methods are in fact used in practice.• На сегодняшний день важность этого метода заключается в том, что... - For the present, the significance of this process lies in the fact that...• Наиболее важным преимуществом данного метода является то, что... - The primary advantage of this procedure is that...• Наиболее просто следовать этому методу в случае... - The procedure is most simply followed for the case of...• Наиболее часто используемые методы перечислены ниже:... - The methods that are most often used follow:...• Наиболее широко используемые методы основываются на... - The techniques most widely used are based on...• Наиболее широко используемый метод это тот, что был введен Смитом [1]. - The method most commonly employed is that introduced by Smith [1].• Наш метод будет весьма существенно отличаться от данного. - Our procedure will be quite different from this.• Нашей основной целью является описание систематических методов для... - Our first concern is to describe systematic methods for...• Не существует систематического метода определения... - There is no systematic way of determining...• Недостатком данного метода является то, что он требует... - The disadvantage of this procedure is that it requires...• Недостаток этого метода можно видеть... - The flaw in this approach can be seen by...• Несколько методов анализа были введены с помощью... - Several methods of analysis are introduced by means of...• Ни один из этих методов не требует... - Neither of these methods requires...• Ниже описываются два подобных метода. - Two such methods are described below.• Обнаружилось, что данный метод (здесь) не приложим. - It turned out that the method was not applicable.• Обнаружилось, что данный метод успешно используется в широкой области... - The method is found to be successful on a wide range of...• Обычно считают, что Смит [1] положил начало этому методу. - Smith [1] is usually credited with originating this method.• Обычным методом является измерение... - A common procedure is to measure...• Один такой несколько искусственный метод занимается... - One such trick is concerned with...• Одна элегантная версия данного метода использует... - An elegant version of this method employs...• Однако данный метод требует предварительного знания... - However, this method presupposes a knowledge of...• Однако лучше всего ввести этот метод, рассматривая... - However, the method is best introduced by considering...• Однако метод может не сработать даже при отсутствии... - However, the procedure may fail even in the absence of...• Однако мы воспользуемся здесь более общим методом, разработанным Воровичем [1]. - But we shall follow here a more general method due to Vorovich [1].• Однако мы легко можем разработать метод для... - We can, however, easily devise a means for...• Однако решения все еще могут быть получены при помощи чисто численных методов. - Solutions can still be obtained, however, by resorting to purely numerical methods.• Однако существует стандартный метод работы с... - However, there is a standard method of dealing with...• Однако этот метод не работает, будучи примененным к... - This approach, however, breaks down when applied to...• Однако этот метод совершенно не удовлетворяет нашим целям. - This procedure, however, falls far short of our goal.• Одним из преимуществ этого метода является то, что... - One advantage of this procedure is that...• Одним общим недостатком данного метода является наличие... - One common drawback of this method is the presence of...• Оказывается, данный метод первоначально появился в работах Смита [1]. - The method appears to have originated in the works of Smith [1].• Описанная выше процедура представляет один строгий метод... - The procedure described above represents a rigorous method of...• Описанный выше метод может быть использован для построения... - The procedure described above can be used to construct...• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Основной слабостью метода является... - The main weakness of the method is...• Отличительным преимуществом данного метода является то, что... - A distinct advantage of the procedure is that...• Отличный от вышеупомянутого метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Перед этим не имелось общепризнанного метода... - Prior to this, there was no generally accepted method of...• Подобные методы могут использоваться в более сложных ситуациях. - Similar methods may be employed in more complicated cases.• Подобный метод был рассмотрен Смитом [1], который... - Such a procedure has been considered by Smith [1], who...• Подобный метод может быть принят, когда... - A similar method may be adopted when...• Подобный метод применяется к/в... - A similar method applies to...• Пользуясь такими методами, мы можем избежать... - By such expediencies we can avoid...• Потенциальное преимущество данного метода состоит в том, что... - A potential advantage of this procedure lies in the fact that...• Поэтому мы применяем слегка модифицированный метод. - We therefore adopt a slightly different method.• Предпочтительным, однако, является метод... - The preferred method, however, is to...• Преимущество этого метода заключается в том, что... - The advantage of this method lies in the fact that...• Преимущество этого метода, следовательно, состоит в том, что он обеспечивает простой... - The advantage < this procedure, therefore, is that it provides a simple...• Применение данного метода ограничено... - The application of this method is confined to...• Применение данного метода показывает... - An application of this process shows...• Применение данного специального метода оправдано (чем-л). - The adoption of this particular method is justified by...• Проиллюстрируем общий метод, рассматривая... - We illustrate the general method by considering...• Рассматриваемые до сих пор методы касаются... - The methods considered so far have been concerned with...• Результаты всех этих методов согласуются с... - The results of all these methods are consistent with...• Решающим недостатком этого метода является то, что... - The crucial disadvantage of this procedure is that...• С другой стороны, этот метод даст... - On the other hand, this method will give...• Открытие Смита сделало возможным новый метод... - Smith's discovery made possible a new method of...• Самым простым из таких методов является (метод)... - The simplest such method is...• Следовательно, необходимо развить общий метод для... - It is, therefore, necessary to devise a general method for...• Следует подчеркнуть, что этот метод должен использоваться только если... - It is to be emphasized that this method should be used only; if...• Следует уделить внимание методам... - Attention should be given to methods of...• Следующее рассуждение иллюстрирует метод... - The following treatment illustrates the method of...• Следующим недостатком этого метода является то, что... - A further disadvantage of this procedure is that...• Смит [lj обнаружил метод для... - Smith [1] discovered a method for...• Смит [1] предложил метод вычисления... - Smith [l] has proposed a method of calculating...• Смит [1] применил этот метод к... - Smith [1] has applied this method to.,.• Стандартным методом является следующий. - The standard procedure is as follows.• Таким образом, мы имеем метод, который позволяет... - Thus we have a method which yields...• Тем не менее, развитые нами методы обеспечивают основу для... - However, the methods we have developed provide a basis for...• Теперь мы (полностью) готовы использовать методы, разработанные во втором параграфе. - We are now ready to use the methods of Section 2.• Теперь мы обсудим систематические методы, которые f можно использовать в/ при... - We now discuss systematic methods which can be applied to...• Теперь мы применим метод Римана, чтобы... - We now apply Riemann's method in order to...• Только что описанный метод известен как... - The procedure we have described is known as...• Тот же метод можно применять в/к... - The same method may be applied to...• Удобным методом достижения необходимой цели является... - A convenient way to accomplish this is to...• Усовершенствованные экспериментальные методы сделали возможным... - Refined experimental methods have made it possible to...• Фундаментальным преимуществом этого метода является то, что... - A fundamental advantage of this procedure is that...• Хотя этот метод и несколько необычен, он справедлив (= работает) как и любой из известных методов. - Although this method is somewhat unorthodox, it is as valid as any of the more familiar methods.• Центральной идеей, на которой основывался подход Смита [1], была... - The essential idea behind Smith's approach was that...• Чтобы воспользоваться преимуществами данного метода, необходимо... - In order to take advantage of this procedure, one must...• Чтобы проиллюстрировать применение метода, мы... - То illustrate the process we...• Эдисон изобрел новый метод для... - Edison invented a new method for...• Эдисон обдумывал новый метод для... - Edison devised a new method for...• Эти методы вводятся в следующем параграфе. - These methods are introduced in the next section.• Эти методы весьма громоздки. - These processes are tedious.• Эти методы настолько чувствительны, что... - These methods are so sensitive that...• Эти методы нельзя применять в случае, когда... - These methods are not applicable in the case of...• Эти методы очень чувствительны к малым изменениям в... - These methods are very sensitive to small changes in...• Эти методы получают своих сторонников, так как... - These methods attract proponents because...• Этим методом (= На этом пути) мы можем получить (вывести и т. п.)... - In this way we can arrive at...• Это будет объяснено примерами, когда мы будем изучать метод... - This point will be clarified by examples when we study the method of...• Это известный метод, принятый во многих работах... - This is a familiar procedure, undertaken in many studies of...• Это иллюстрирует важный метод... - This illustrates an important method of...• Это можно увидеть двумя методами. - This can be seen in two ways.• Это несущественный недостаток метода, поскольку... - This is not a serious defect of the method because...• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это простой метод, который можно проиллюстрировать, рассматривая... - This is a simple procedure which can be illustrated by considering...• Этот метод аналогичен использованному в... - The procedure is similar to that used in...• Этот метод был описан Смитом [1]. - The method has been described by Smith [1].• Этот метод был последовательно доведен до полной эффективности Смитом [3]. - This method was subsequently brought to full fruition by Smith [3].• Этот метод вполне очевиден. - This procedure is quite straightforward.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот метод известен как... - The procedure is known as...• Этот метод имеет следующие недостатки. - The procedure has the following disadvantages.• Этот метод интересен по следующей причине. - This method is of interest for the following reason.• Этот метод легко адаптируется к/ для... - This procedure is readily adaptable to...• Этот метод легко понять, замечая, что... - The process is easily understood by noting that...• Этот метод лучше всего иллюстрируется примером. - The procedure is best illustrated by an example.• Этот метод наиболее успешен в случае, когда он применяется в... - The method is most successful when applied to...• Этот метод очевидным образом может быть распространен на (случай)... - This process can clearly be extended to...• Этот метод принимается, поскольку... - This approach is adopted because...• Этот метод являлся стандартным в течение многих лет. Несмотря на более новые разработки он будет использоваться и далее. - This approach has been standard for many years, and will continue to be of great use regardless of newer developments.• Этот технически простой метод действительно требует... - This technically simple method does require... -
7 метод логического доказательства
Mathematics: case methodУниверсальный русско-английский словарь > метод логического доказательства
-
8 метод логического доказательства
case method мат.Русско-английский научно-технический словарь Масловского > метод логического доказательства
-
9 вычислительный метод
1. computation procedure2. computing techniqueРусско-английский большой базовый словарь > вычислительный метод
-
10 приведение к абсурду
( метод доказательства) reduction ad absurdum вчт.Русско-английский словарь по электронике > приведение к абсурду
-
11 приведение к абсурду
( метод доказательства) reduction ad absurdum вчт.Русско-английский словарь по радиоэлектронике > приведение к абсурду
-
12 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
13 приложимый
applicable• В меньшей степени подобные рассуждения приложимы к... - То a lesser extent, similar considerations hold for...• К сожалению, этот метод оказался неприложим(= неприменим). - Unfortunately, the method was not applicable; The method, unfortunately, was not applicable.• Обнаружилось, что данный метод (здесь) не приложим (= не применим). - It turned out that the method was not applicable.• Очевидно, они не приложимы к случаю, где/ когда... - Clearly they do not apply to cases where...• Эти результаты приложимы к весьма широкому классу задач... - The results are applicable to a very large class of numerical optimal control problems.• Это правило не является универсальным, однако оно приложимо к/в... - This rule is not universal, but it applies to...• Это решение приложимо только если... - This solution applies strictly only when...• Этот метод доказательства довольно общий и приложим к... - The method of proof is quite general and applies to... -
14 общий
common, general, total, overall, aggregate, combined, generic• Результат более общего типа формулируется следующим образом. - The following is a more general result of the same kind.• Более общие условия здесь не будут обсуждаться, однако мы можем отметить... - More general conditions will not be discussed here, but it may be said that...• В значительно более общем виде мы можем рассмотреть... - Much more generally, we may consider...• В общем случае будет обнаружено, что... - In the general case it will be found that...• В общем случае довольно трудно (найти и т. п.)... - Generally, it is rather difficult to...• В общем случае обратное не является справедливым, однако... - The converse is not generally true, although...• В общем случае это несправедливо. - In general this is not true.• В общем случае, рассматриваемом ниже,... - In the general case to be dealt with below,...• Еще более общие решения могли бы быть сконструированы... - Still more general solutions may be constructed by...• Здесь рассматривается (один) общий метод получения этих решений. - A general method of obtaining these solutions is considered here.• Из предыдущего анализа можно сделать два общих заключения. - Two broad conclusions can be drawn from the above analysis.• Используя более общие понятия, мы можем сказать, что... - In more general terms, we may say that...• Между... и... есть много общего. - There is much in common between... and...• Мы будем придерживаться довольно общей практики... - We shall adhere to the rather general practice of...• Мы можем взглянуть на эту ситуацию с более общей точки зрения следующим образом. - We can look at this situation in general terms as follows.• Мы обсудим это в общем случае, когда... - We discuss this in the general case when...• Не существует общей формулы для... - There is no general formula for...• Общее заключение состояло в том, что... - The general conclusion was that...• Общей ошибкой является то, что забывают... - It is a common mistake to forget that...• Общий случай рассматривается в упражнении 54. - The general case is considered in Exercise 54.• Общую задачу можно поставить математически в терминах... - The general problem can be stated mathematically in terms of...• Однако в общем случае мы заинтересованы в измерении других характеристик.., - In general,however, we are interested in measuring other properties of...• Однако можно распространить это исследование на более общую проблему, в которой... - It is possible, however, to extend the treatment to a more general problem in which...• Однако это самое большее, что может быть сказано в общем. - This is the most that can be said in general however.• Однако, в общем случае, несправедливо, что... - It is not true in general, however, that...• Однако, во-первых, нам необходимо изучить общую теорию... - First, however, we need to study the genera: theory of...• Оказывается, что эти же общие принципы применяются независимо от того, действительно ли... - It appears that these same general principles apply regardless of whether...• По общему мнению... - It is generally agreed that...• Рис. 2 показывает общее устройство механизма. - Fig. 2 shows the general arrangement of the mechanism.• С другой стороны, в общем случае не всегда допустимо (сокращать общие множители и т. п.).. - On the other hand, it is not in general permissible to...• Существует общая тенденция для... - There is a general tendency for...• Существует общее (= распространенное) заблуждение, что... - There is a common misconception that...• Те же самые общие принципы выполняются, когда... - The same general principles hold when...• Тем не менее, мы говорим в общем случае, что... - Nevertheless, we generally say that...• Теперь мы опишем общую технику для... - We now describe a general technique for...• То, что является общей чертой всех уравнений - это... - What all the equations have in common is that...• Удобное общее представление обеспечивается... - A convenient overall representation is provided by...• Чтобы рассмотреть общий случай, давайте... - То dea! with the general case, let...• Чтобы сформулировать более общую задачу, мы... - То formulate the more general problem, we...• Эти теории имеют общую концепцию, что... - These theories have in common the idea that...• Это уравнение не обязательно выполняется для более общего... - This equation need not hold for the more general...• Этот метод доказательства довольно общий и приложим к... - The method of proof is quite general and applies to... -
15 оригинальный
original, unique, unconventional, ingenious• Данный метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Оригинальная гипотеза Смита заключалась в том, что... - Smith's original conjecture was that... -
16 давать
yield, provideTerm-by-term differentiation yields the following equation --- Почленное дифференцирование дает следующее уравнение The theorem provides a new method for proving some fundamental facts about... --- Эта теорема дает новый метод доказательства некоторых фундаментальных фактов о...
Русско-английский словарь механических и общенаучных терминов > давать
-
17 diagonalization
диагонализация (метод доказательства неразрешимости проблемы остановки в теории рекурсивных функций)Англо-русский словарь промышленной и научной лексики > diagonalization
-
18 косвенный
1. inderect2. circumstantial3. indirect4. oblique; indirect; circumstantial5. collateral -
19 использовать
(= воспользоваться, применять, см. также использоваться) make use of, exploit, utilize, use, employ• Альтернативный подход использует такие понятия, как... - The alternative approach uses notions such as...• Безусловно это можно использовать лишь в случае, если... - Of course this applies only if...• Более успешный подход заключался в том, чтобы использовать... - A more successful approach has been to use...• Будет полезно использовать условия, при которых... - It will be useful to explore the circumstances under which...• В данном случае можно использовать другой подход. - In this case a different approach can be used.• В обозначениях, которые мы теперь используем, это означает, что... - In our present notation this means that...• В следующем примере мы используем этот метод, чтобы определить... - In the following examples we use this method to determine...• Давайте использовать это решение, чтобы получить... - Let us use this solution to obtain...• Далее мы не будем это использовать. - We shall make no further use of this.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данные результаты могут быть использованы для проверки численного решения. - These results provide a useful check on numerical solutions.• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Для удобства мы будем часто использовать более простое обозначение... - For convenience, we will often use the simpler notation...• Если мы используем результат (7), то видим, что... - If we make use of the result (7) we see that...• Желая использовать соотношение (14), мы заметим, что... - Wishing to exploit (14), we note that...• Заметьте, что мы использовали (здесь) только... - Note that we have only used...• Иногда бывает удобно использовать соотношения вида... - It is sometimes convenient to use relations of the form...• Можно использовать любое выражение в зависимости от... - Either expression can be used, depending on whether...• Мы будем использовать это решение, чтобы построить... - We shall use this solution to construct...• Мы будем очень часто использовать... - Extensive use will be made of...• Мы хотим использовать данную тестовую систему, чтобы определить... - We wish to use this test system to determine...• Мы использовали это в качестве отправного пункта нашего исследования. - We have taken this as a starting point for our investigation.• Мы используем обычные договоренности о... - We make use of common conventions on...• Мы используем эти факты несколько позднее. - We shall exploit these facts at a later stage. '• Мы используем этот результат (в, для)... - We shall apply this result to...• Мы используем этот факт позже (= в дальнейшем). - We shall make use of this fact later.• Мы можем использовать преимущество, предоставляемое этим фактом, чтобы... - We can take advantage of this fact to...• Мы можем использовать эти же свойства, чтобы определить... - We can use these same properties to define...• Мы можем использовать этот результат, чтобы определить (= ввести)... - We can use this result to define...• Мы можем также использовать здесь концепцию... - We may also apply the concept of...• Мы продолжим использовать... - We shall continue to use...• Мы также используем (благоприятную) возможность (поблагодарить, отметить и т. п.) (= Пользуясь возможностью, мы благодарим)... - We also take the opportunity to...• Мы уже многократно использовали (формулу, метод и т. п.)... - We have made extensive use of...• Мы часто используем обозначения а, аr для... - We frequently use a, аr to denote...• Некоторые авторы предпочли использовать... - Some authors have preferred to use...• Одна элегантная версия данного метода использует... - An elegant version of this method employs...• Однако здесь мы предпочитаем использовать... - Неге we prefer, however, to employ...• Однако некоторые авторы успешно использовали... - However, some authors have successfully used...• Однако разумно использовать тот факт, что... - But the sensible thing is to use the fact that...• Описанный выше метод может быть использован для построения... - The procedure described above can be used to construct...• Перед тем как начать использовать эту концепцию, честно предупредим читателя, что... - Before we make use of this concept, it is only fair to warn the reader that...• Перед тем как использовать его (метода) преимущество, мы должны... - Before taking advantage of this, we must...• Подобное рассуждение можно использовать, когда... - A similar argument can be used when...• При этих условиях мы по-прежнему можем использовать... - Under these circumstances we may still use...• Развивая данную теорию, мы будем существенно использовать... - In developing the theory we shall make considerable use of...• Разработчики использовали различные подходы для получения... - Designers have used various approaches in arriving at...• С этой целью мы будем использовать... - For this purpose, we shall use...• Теорема может быть использована для нахождения... - This theorem can be used to find all solutions of...• Теперь мы (полностью) готовы использовать методы, разработанные во втором параграфе. - We are now ready to use the methods of Section 2.• Читатель увидит, как можно использовать высшую математику в... - The reader will see how ordinary calculus can be applied to...• Чтобы..., мы используем качественные рассуждения. - We shall use a qualitative argument to...• Чтобы использовать компьютер в данном процессе... - То computerize the process,...• Чтобы проделать это, мы используем тот факт, что... - То do this, we make use of the fact that...• Эйнштейн использовал точно те же самые идеи в... - Einstein applied precisely the same ideas to...• Эта идея уже была использована Смитом [1], который предлагает... - This idea has been exploited by Smith [1], who suggests that...• Эта точка зрения была интенсивно использована Смитом [1]. - This viewpoint has been used extensively by Smith [1].• Эти результаты можно использовать, чтобы установить... - These results can be used to establish...• Это позволяет нам использовать (метод и т. п.)... - This allows us to make use of...• Это рассуждение подобно тому, что было использовано для установления... - The argument is similar to that used to establish...• Это свойство может быть использовано для вывода... - This property can be used to derive...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...• Этот результат можно использовать без опасений, только если... - It is safe to use this result only if...• Эту теорию можно использовать только тогда, когда... - This theory is applicable only when... -
20 глава
(см. также абзац, параграф, книга, обзор) chapter• Более прямой метод получения величины F рассматривается в главе 9. - A more direct procedure for obtaining F is considered in Chapter 9.• Большая часть материала, представленного в данной главе, имела дело с... - Much of the material presented in this chapter has dealt with...• В дальнейших главах излагается методология для... - The following chapters outline the methodology involved in...• В данной главе мы будем заниматься подобными процессами. - This chapter will be concerned with such processes.• В данной главе мы будем рассматривать лишь... - In this chapter we shall be concerned only with...• В данной главе мы заложим теоретические основания для... - In this chapter we lay the theoretical foundations for...• В данной главе мы предлагаем обсудить... - In this chapter we propose to discuss...• В данной главе мы представим некоторые избранные материалы... - In the present chapter we shall give a selection of...• В данной главе мы продолжим наше изучение (проблемы и т. п.)... - In this chapter, we will continue our study of...• В данной главе мы разовьем теорию... - In this chapter we shall develop the theory of...• В данной главе мы рассмотрим путь, которым... - In this chapter, we consider the way in which...• В данной главе мы сформулируем метод для... - In this chapter, we shall formulate the procedure for...• В данной главе мы уделим некоторое внимание (чвму-л)... - In this chapter we shall devote some attention to...• В данной главе мы, главным образом, интересуемся... - We are concerned mainly in this chapter with...• В данной главе позднее станет очевидно, что... - It will become evident later in this chapter that...• В данной главе рассматривается... - It is the object of the present chapter to...• В данной главе рассматривается еще один подход... - This chapter is concerned with yet another approach to...• В предшествующих главах мы видели, что... - We have seen in preceding chapters that...• В следующей главе мы (еще) вернемся к этому выражению. - We shall return to this expression in the next chapter.• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В следующей главе мы увидим, что... - We shall see in the next chapter that...• В следующих четырех главах мы будем рассматривать исключительно... - In the next four chapters we shall be concerned exclusively with...• В соответствии с методом, намеченным в Главе 1, мы... - In accordance with the method outlined in Chapter 1, we...• В третьей главе (= В главе 3) мы встретим другое обобщение той же самой основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• В этой вводной главе мы сделаем обзор... - In this introductory chapter we shall review...• В этой главе будут описываться два подхода к... - This chapter will describe two approaches to...• В этой главе мы даем эффективный метод... - In this chapter we give an efficient method for...• В этой главе мы рассматриваем различные случаи... - In this chapter we consider various cases of...• В этой главе мы сосредоточимся на (проблеме, вопросе и т. п.)... - In this chapter we concentrate on...• В этой главе не делалось попыток обсудить очень сложную проблему... -In this chapter no attempt has been made to discuss the very difficult problem of...• В этой главе основное внимание будет направлено на... - In this chapter we will direct most of the attention toward...• В этой главе рассматривается... - This chapter is concerned with...• В этой главе формулируются основные положения... - This chapter provides an outline of...• Данная глава будет посвящена описанию... - This chapter will be devoted to an exposition of...• Данная глава начинается с описания... - This chapter begins with a description of...• Данная глава завершается обсуждением... - The chapter concludes with a discussion of...• Данная глава, в основном, посвящена объяснению... - This chapter is devoted primarily to explaining...• Данная методика будет использоваться в последующих главах. - This procedure will be followed in subsequent chapters.• Заключим данную главу несколькими словами относительно... - We conclude this chapter with a few words on...• Значительная часть настоящей главы посвящена... - A large proportion of the present chapter is concerned with...• Из содержания предыдущих глав мы уже знаем, что... - We already know from earlier chapters that...• Книга состоит из восьми глав. - The book is divided into eight chapters.• Многие идеи и результаты последней главы могут быть распространены на случай... - Many of the ideas and results of the last chapter can now be extended to the case of...• Многие идеи, рассматриваемые в данной главе,... - Many of the ideas appearing in this chapter are...• Мы (еще) вернемся к этой аналогии во второй главе. - We shall return later to this analogy in Chapter 2.• Мы завершаем данную главу демонстрацией того, что... - We end this section by showing that...• Мы можем применить некоторые результаты этой главы, чтобы проиллюстрировать... - We may apply some of the results of this chapter to illustrate...• Мы обсудим этот эффект в другой главе. - We shall discuss this effect in a later chapter.• Мы откладываем обсуждение этого явления до главы 5. - We defer discussion of this phenomenon until Chapter 5.• Мы продолжим это (исследование) в главе 4. - We shall go further into this in Chapter 4.• Мы также уже обсудили эту задачу в главе 2. - We have also discussed this problem in Chapter 2.• Некоторые дальнейшие замечания могут быть найдены в главе 2. - Some further remarks may be found in Chapter 2.• Некоторые из этих вопросов будут развиваться в следующей главе. - Some of these points will be developed further in the next chapter.• Основная часть этой работы была проделана в главе 2. - The bulk of the work was done in Chapter 2.• Основным вопросом данной главы является... - Our main business in this chapter is to...• Остальная часть этой главы посвящена... - The rest of the chapter deals with... (• Первые четыре главы данной книги должны быть доступны... - The first four chapters of this book should be accessible to...• Всюду в данной главе мы будем предполагать, что... - Throughout this chapter we have assumed that...• Позднее в этой главе мы узнаем, что... - Later in this chapter we will learn that...• Пример его (метода) использования уже приведен в Главе 2. - An example of its use has already been given in Chapter 2.• Рассуждение, приведенное в конце последней главы, показывает, что... - The argument at the end of the last chapter shows that...• Результаты данной главы позволяют нам... - The results of the present chapter enable us to...• Строгое обсуждение будет дано в главе 2. - A rigorous discussion will be given in Chapter 2.• Теперь возвратимся к вопросу, поставленному в начале этой главы. - We now return to the question posed at the beginning of the chapter.• Целью данной главы является представление... - It is the purpose of this chapter to present...• Целью данной главы является разработка... - The aim of this chapter is to develop...• Мы собираемся сделать в этой главе... - What we seek to do in this chapter is to...• Что такое тензоры объясняется подробно в главе 3. - The subject of tensors is explained at length in Chapter 3.• Эта глава почти полностью посвящается... - This chapter has been almost wholly concerned with...• Эта глава представляет один подход к решению... - This chapter presents one approach to the solution of...• Эта тема будет развиваться в следующей главе. - This subject will be developed in the following chapter.• Эти данные будут использованы в следующей главе. - This information will be put into use in the next chapter.• Эти явления обсуждаются в главе 5. - These phenomena are discussed in Chapter 5.• Это будет темой следующей главы. - This will be the theme of the next chapter.• Далее это обсуждается в главе 4 в связи с... - This is further discussed in Chapter 4 in conjunction with...• Это не согласуется с терминологией главы 1. - This is at variance with the terminology of Chapter 1.• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4.• Этот эффект будет обсуждаться в главе 2, где будет показано, что... - This effect will be discussed in Chapter 2, where it will be shown that...
Страницы
- 1
- 2
См. также в других словарях:
метод доказательства — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN validation procedure … Справочник технического переводчика
Метод бесконечного спуска — В математике, метод бесконечного спуска это метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Часто метод бесконечного спуска используется для доказательства того, что у некоторого… … Википедия
Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
Метод Хартри — Фока — в квантовой механике приближённый метод решения уравнения Шредингера путём сведения многочастичной задачи к одночастичной в предположении, что каждая частица двигается в некотором усреднённом самосогласованном поле, создаваемом всеми остальными… … Википедия
Метод Эйлера — Метод Эйлера наиболее простой численный метод решения (систем) обыкновенных дифференциальных уравнений. Впервые описан Леонардом Эйлером в 1768 году в работе «Интегральное исчисление»[1]. Метод Эйлера является явным, одношаговым методом… … Википедия
Метод исчерпывания — (лат. methodus exaustionibus) античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование… … Википедия
Метод квадратичных форм Шенкса — метод факторизации целых чисел, основанный на применении квадратичных форм, разработанный Даниелем Шенксом (англ. Daniel Shanks).[1] в 1975 году, как развитие метода факторизации Ферма. Для 32 разрядных компьютерах алгоритмы, основанные на… … Википедия
Метод обратного распространения ошибки — (англ. backpropagation) метод обучения многослойного перцептрона. Впервые метод был описан в 1974 г. А.И. Галушкиным[1], а также независимо и одновременно Полом Дж. Вербосом[2]. Далее существенно развит в 1986 г. Дэвидом И. Румельхартом, Дж … Википедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Доказательства уголовные — Под уголовными Д. подразумеваются те фактические данные, которые служат основанием к заключению о том, совершено ли преступление и виновно ли в нем данное лицо. Всякая эпоха имеет свой метод обнаружения на уголовном суде материальной истины, свою … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… … Философская энциклопедия
